void sort(char s[],int n)
{

}

int main()
{
    int x,y,z;
    scanf("%d%d%d",&x,&y,&z);
    char A[10];
    sprintf(A,"%d%d%d",x,y,z);
    sort(A,9);
    if(strcmp(A,"123456789")==0)
    {
        puts("ok");
    }
}
